package br.usp.vts.dominio;

import java.util.ArrayList;
import java.util.List;

public class MetodoVisao {

	private List<String> invariantes;
	private List<String> preCondicoes;
	private String nome;
	private String modificador;
	private List<String> parametros;
	private Object retorno;
	private List<String> posCondicoes;

	public List<String> getInvariantes() {
		if (invariantes == null) {
			invariantes = new ArrayList<String>();
		}
		return invariantes;
	}

	public void setInvariantes(List<String> invariantes) {
		this.invariantes = invariantes;
	}

	public List<String> getPreCondicoes() {
		if (preCondicoes == null) {
			preCondicoes = new ArrayList<String>();
		}
		return preCondicoes;
	}

	public void setPreCondicoes(List<String> preCondicoes) {
		this.preCondicoes = preCondicoes;
	}

	public String getNome() {
		return nome;
	}

	public void setNome(String nome) {
		this.nome = nome;
	}

	public String getModificador() {
		return modificador;
	}

	public void setModificador(String modificador) {
		this.modificador = modificador;
	}

	public List<String> getParametros() {
		if (parametros == null) {
			parametros = new ArrayList<String>();
		}
		return parametros;
	}

	public void setParametros(List<String> parametros) {
		this.parametros = parametros;
	}

	public Object getRetorno() {
		return retorno;
	}

	public void setRetorno(Object retorno) {
		this.retorno = retorno;
	}

	public List<String> getPosCondicoes() {
		if (posCondicoes == null) {
			posCondicoes = new ArrayList<String>();
		}
		return posCondicoes;
	}

	public void setPosCondicoes(List<String> posCondicoes) {
		this.posCondicoes = posCondicoes;
	}

}
